Probabilistic Annotations for Protocol Models
نویسندگان
چکیده
We describe how a probabilistic Hoare logic with localities can be used for reasoning about security. As proof-of-concept, we analyze Vernam and El-Gamal cryptosystems, prove the security properties that they do satisfy, disprove those not. also consider version of Muddy Children puzzle, where children’s trust noise are taken into account.
منابع مشابه
Scalable Probabilistic Models for 802.11 Protocol Verification
The IEEE 802.11 protocol is a popular standard for wireless local area networks. Its medium access control layer (MAC) is a carrier sense multiple access with collision avoidance (CSMA/CA) design and includes an exponential backoff mechanism that makes it a possible target for probabilistic model checking. In this work, we identify ways to increase the scope of application of probabilistic mode...
متن کاملImproved Probabilistic Models for 802.11 Protocol Verification
The IEEE 802.11 protocol is a popular standard for wireless local area networks. Its medium access control layer (MAC) is a carrier sense multiple access with collision avoidance (CSMA/CA) design and includes an exponential backoff mechanism that makes it a possible target for probabilistic model checking. In this work, we identify ways to increase the scope of application of probabilistic mode...
متن کاملProbabilistic CFG with Latent Annotations
This paper defines a generative probabilistic model of parse trees, which we call PCFG-LA. This model is an extension of PCFG in which non-terminal symbols are augmented with latent variables. Finegrained CFG rules are automatically induced from a parsed corpus by training a PCFG-LA model using an EM-algorithm. Because exact parsing with a PCFG-LA is NP-hard, several approximations are describe...
متن کاملGenerative Probabilistic Models for Retrieval of Documents with Structure and Annotations
Introduction Structure in documents has been a part of Information Retrieval as long as the field has existed. There have always been documents with metadata information such as authors and creation dates. Researchers have always recognized that document structure is important to effective retrieval. The earliest systems supporting structure focused on providing support for querying of the fiel...
متن کاملCombining Probabilistic and Translation-Based Models for Information Retrieval based on Word Sense Annotations
In this paper, we describe our experiments carried out for the robust word sense disambiguation (WSD) track of the CLEF 2009 campaign. This track consists of a monolingual and bilingual task and addresses information retrieval utilizing word sense annotations. We took part in the monolingual task only. Our objective was twofold. On the one hand, we intended to increase the precision of WSD by a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Lecture Notes in Computer Science
سال: 2021
ISSN: ['1611-3349', '0302-9743']
DOI: https://doi.org/10.1007/978-3-030-91631-2_18